On Computing Algebraic Functions Using Logarithms and Exponentials

نویسندگان

  • Dima Grigoriev
  • Michael F. Singer
  • Andrew Chi-Chih Yao
چکیده

Let be a set of algebraic expressions constructed with radicals and arithmetic operations, and which generate the splitting eld F of some polynomial. Let N () be the minimum total number of root-takings and exponentiations used in any straightline program for computing the functions in by taking roots, exponentials, logarithms, and performing arithmetic operations. In this paper it is proved that N () = (G), where (G) is the minimum length of any cyclic Jordan-HH older tower for the Galois group G of F. This generalizes a result of Ja'Ja' 1], and shows that the inclusion of certain new primitives, such as taking exponentials and logarithms, does not improve the cost of computing such expressions as compared with programs which use only root-takings.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Extensions by Antiderivatives, Exponentials of Integrals and by Iterated Logarithms

Let F be a characteristic zero differential field with an algebraically closed field of constants C, E ⊃ F be a no new constant extension by antiderivatives of F and let y1, · · · yn be antiderivatives of E. The antiderivatives y1, · · · , yn of E are called J-I-E antiderivatives if y′i ∈ E satisfies certain conditions. We will discuss a new proof for the KolchinOstrowski theorem and generalize...

متن کامل

Quadratic relations between logarithms of algebraic numbers

A well known conjecture asserts that Q-linearly independent logarithms of algebraic numbers should be algebraically independent. So far it has only been proved that they are linearly independent over the field of algebraic numbers (Baker, 1966). It is not yet known that there exist two logarithms of algebraic numbers which are algebraically independent. The next step might be to consider quadra...

متن کامل

Interpolation Formulas and Auxiliary Functions

We prove an interpolation formula for ``semi-cartesian products'' and use it to study several constructions of auxiliary functions. We get in this way a criterion for the values of the exponential map of an elliptic curve E defined over Q. It reduces the analogue of Schanuel's conjecture for the elliptic logarithms of E to a statement of the form of a criterion of algebraic independence. We als...

متن کامل

Transcendence Measures for Exponentials and Logarithms

In the present paper, we derive transcendence measures for the numbers log a, e, aP, (log aj)/(log 02) from a previous lower bound of ours on linear forms in the logarithms of algebraic numbers. Subject classification (Amer. Math Soc. (MOS) 1970): 10 F 05, 10 F 35

متن کامل

On-Line Algorithms for Computing Exponentials and Logarithms

We propose a new on-line algorithm for fast evaluation of logarithms and exponentials. This algorithm is derived from the widely studied Briggs-De Lugish iteration. We examine various compromises between the on-line delay and the size of the required comparison constants.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • SIAM J. Comput.

دوره 24  شماره 

صفحات  -

تاریخ انتشار 1995